typescript type challenges